Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
861	On Pebble Automata for Data Languages with Decidable Emptiness ProblemI,II Tony Tan School of Informatics, University of Edinburgh Abstract Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Computer science Pebble automaton Regular language Turing machine Linear temporal logic Ω-automaton Automata theory Theory of computation Theoretical computer science
862	Hospitality Management Competition AEHT ConferenceEVALUATION SHEET - FOR JURY The teams are judged on the basis of the originality and creativity, the logic between the concept and the proposed target, the creati Add to Reading List Source URL: www.aeht.eu Language: English - Date: 2015-02-27 06:51:42 Hazard analysis and critical control points Process management Creativity Team Psychology Mind Cognitive science Food and Drug Administration Food safety Hazard analysis
863	Curriculum Vitae et Studiorum Diego Calvanese April 2015 Short Bio Diego Calvanese is a full professor at the KRDB Research Centre for Knowledge and Data, Free University Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2015-04-12 22:06:02 Science Knowledge Semantic Web Knowledge engineering Technical communication Free University of Bozen-Bolzano Description logic Framework Programmes for Research and Technological Development Information science Information Ontology
864	Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Model theory Predicate logic Semantics Lambda calculus Logic in computer science First-order logic Skolem normal form Interpretation Function Logic Mathematical logic Mathematics
865	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-07-24 12:05:06 Lisp programming language Logic in computer science Programming language semantics Reduction strategy Predicate logic Operational semantics Robert Bruce Findler Free variables and bound variables Eval Programming language theory Software engineering Computing
866	Braziers Park Quarterly NUMBER EIGHT WINTER, published by Add to Reading List Source URL: www.braziers.org.uk Language: English - Date: 2012-04-02 19:00:00 Philosophy of life Political philosophy Truth Veracity Free will Hegelianism Science of Logic Philosophy Theology Metaphysics
867	Philosophy of Right G.W.F. Hegel Translated by S.W Dyde Batoche Books Add to Reading List Source URL: www.hegel.net Language: English - Date: 2015-02-15 12:32:45 Elements of the Philosophy of Right Eduard Gans The Phenomenology of Spirit Science of Logic German idealism Philosophy Georg Wilhelm Friedrich Hegel
868	BRICS RSBrabrand et al.: Analyzing Ambiguity of Context-Free Grammars BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-06-01 10:26:55 Logic Context-free grammar Ambiguous grammar Formal grammar Parsing LL parser CYK algorithm Terminal and nonterminal symbols Parsing expression grammar Formal languages Software engineering Grammar
869	PIK Report No. 103 STRUCTURING DISTRIBUTED RELATION-BASED COMPUTATIONS WITH SCDRC Add to Reading List Source URL: www.pik-potsdam.de Language: English - Date: 2013-09-12 17:02:47 Parallel computing Classes of computers Algorithm Mathematical logic Theoretical computer science Distributed computing Computer cluster Super-recursive algorithm Computing Concurrent computing Computer programming
870	Tree Automata over Inﬁnite Alphabets Michael Kaminski and Tony Tan Department of Computer Science, Technion – Israel Institute of Technology, Haifa 32000, Israel {kaminski,tantony}@cs.technion.ac.il Dedicated to Bori Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Tree automaton Regular language Logic Ω-automaton Automata theory Symbol Model theory

UPDATE